- unique names assumption
- aanname van unieke namen
English-Dutch technical dictionary. 2013.
unique names assumption
Look at other dictionaries:
Unique name assumption — The Unique Name Assumption (UNA) is a concept from ontology languages and Description Logics. In logics with the unique name assumption, different names always refer to different entities in the world [Stuart J. Russell and Peter Norvig,… … Wikipedia
Names and titles of Jesus in the New Testament — Cartel at the Church of the Gesù, Rome with the Latin inscription from Philippians 2:10: at the name of Jesus every knee should bow . Two names and a variety of titles are used to refer to Jesus in the New Testa … Wikipedia
Alternative names for Northern Ireland — There are a number of alternative names used for Northern Ireland.[1] Northern Ireland consists of six historic counties of Ireland, and remains part of the United Kingdom following the secession of the other twenty six counties to form the Irish … Wikipedia
UNA — University of North Alabama (Academic & Science » Universities) *** UNova, Inc. (Business » NYSE Symbols) * United Nations Association of the USA (Community » Non Profit Organizations) * Unique Names Assumption (Academic & Science » Mathematics)… … Abbreviations dictionary
Planner (programming language) — Planner (often seen in publications as PLANNER although it is not an acronym) is a programming language designed by Carl Hewitt at MIT, and first published in 1969. First, subsets such as Micro Planner and Pico Planner were implemented, and then… … Wikipedia
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Negation as failure — (NAF, for short) is a non monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of … Wikipedia
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
biblical literature — Introduction four bodies of written works: the Old Testament writings according to the Hebrew canon; intertestamental works, including the Old Testament Apocrypha; the New Testament writings; and the New Testament Apocrypha. The Old… … Universalium
HEBREW LANGUAGE — This entry is arranged according to the following scheme: pre biblical biblical the dead sea scrolls mishnaic medieval modern period A detailed table of contents precedes each section. PRE BIBLICAL nature of the evidence the sources phonology… … Encyclopedia of Judaism
India — /in dee euh/, n. 1. Hindi, Bharat. a republic in S Asia: a union comprising 25 states and 7 union territories; formerly a British colony; gained independence Aug. 15, 1947; became a republic within the Commonwealth of Nations Jan. 26, 1950.… … Universalium
